SqStable(P) == (P)  P 

latex

Definitions	P  Q, T
FDL editor aliases	sq_stable